What is a kernel in an operating system